PVS Language Reference Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby

Source URL: pvs.csl.sri.com

• Logic
• Data types
• Predicate logic
• Formal methods
• Type system
• Abstract data type
• Stack
• Function
• Dependent type
• Mathematics
• Type theory
• Mathematical logic

Response to the IANA Stewardship Transition Coordination Group Request for Proposals on the IANA from the Internet Number Community Abstract Proposal type I.

Source URL: blog.apnic.net

• Regional Internet Registries
• Internet governance
• Internet standards
• Internet in the United States
• Domain name system
• Internet Assigned Numbers Authority
• RIPE NCC
• ICANN
• Latin America and Caribbean Network Information Centre
• Internet
• Network architecture
• Computing

Preferred presentation type: Please overwrite the following examples for title, authors and institutions: Title of the Abstract

Source URL: www.acpel2015.org

A Descent into Limbo Brian W. Kernighan [removed] Revised April 2005 by Vita Nuova ABSTRACT ‘‘If, reader, you are slow now to believe

Source URL: www.vitanuova.com

• Subroutines
• Inferno
• Limbo
• Scripting languages
• Main function
• Perl module
• D
• Type system
• .sys
• Software engineering
• Computing
• Computer programming

Type-Changing Program Transformations with Pattern Matching Joeri van Eekelen, Sean Leather and Johan Jeuring Utrecht University, , , Abstract We present a system for

Source URL: www.imn.htwk-leipzig.de

• Mathematics
• Pattern matching
• Lambda calculus
• Logic in computer science
• Orbifold
• Theoretical computer science
• Applied mathematics
• Models of computation

IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on

Source URL: cs-www.cs.yale.edu

• Mathematics
• Logic in computer science
• Dependently typed programming
• Lambda calculus
• Logic programming
• Twelf
• Logical framework
• Higher-order abstract syntax
• Dependent type
• Type theory
• Programming language theory
• Theoretical computer science

OptiML Language Specification 0.2 Arvind K. Sujeeth Stanford University 1

Source URL: stanford-ppl.github.io

• Abstract algebra
• Vectors
• Analytic geometry
• Mathematical structures
• Sequence container
• Euclidean vector
• Array data type
• Scalar
• Dot product
• Algebra
• Mathematics
• Linear algebra

Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich

Source URL: www.seas.upenn.edu

• Lambda calculus
• Type theory
• Functional programming
• Dependently typed programming
• Models of computation
• System F
• Higher-order abstract syntax
• Church encoding
• Catamorphism
• Declarative programming
• Software engineering
• Mathematics

Duck or Rabbit? Joint Effects of Accounting Standard Type and Transaction Ambiguity on Aggressive Reporting by Managers ABSTRACT Prior research shows that financial statement preparers report less aggressively under pri

Source URL: www2.aaahq.org

• International Financial Reporting Standards
• Ambiguity
• Finance
• Accountancy
• Business
• Financial regulation

Form for Abstract Please type this Form and return it BEFORE July 10, 2009 to: Secretariat The 3rd International Symposium on Development within Geoparks: Geo-heritage Protection and Cooperation Baiwanzhuang Road 26, B

Source URL: www.globalgeopark.org

• Academic publishing
• Symposium
• Technology
• Fax
• Abstract